Reflexive Temporal Logic